memorize theorems fast and easily